home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / compile.out < prev    next >
Text File  |  1992-04-03  |  4KB  |  74 lines
  1.  
  2.                WELCOME TO CLIN 2.06.2
  3. (c) 1991 by Geoff Alexander, Shie-Jue Lee, and David Plaisted
  4.  
  5.  
  6.  
  7.   USER GUIDE : 
  8.   Key in "prove(File).".
  9.   Key in "settings." to list all current settings.
  10.   For more info., type "choice.".
  11.   These info. can be reviewed by typing in "helpmsg.".
  12.  
  13. Quintus Prolog Release 3.1 (DECstation, Ultrix 4.x)
  14. Copyright (C) 1990, Quintus Corporation.  All rights reserved.
  15. 2100 Geng Road, Palo Alto, California U.S.A. (415) 813-3800
  16.  
  17. % compiling file /theta/theta4/unc/alexande/quintusbug/work/prover_2.06.2
  18. %  compiling file /unc/alexande/research/clin/quintus_2.05.8
  19. % Undefined procedures will just fail ('fail' option)
  20. %  quintus_2.05.8 compiled in module user, 0.083 sec 932 bytes
  21. %  compiling file /unc/alexande/research/clin/quintus_compile_options_2.05.8
  22. %  quintus_compile_options_2.05.8 compiled in module user, 0.033 sec 468 bytes
  23. %  compiling file /unc/alexande/research/clin/auxiliary_2.06.2
  24. %  auxiliary_2.06.2 compiled in module user, 3.134 sec 23,168 bytes
  25. %  compiling file /unc/alexande/research/clin/clausify_18.7
  26. %  clausify_18.7 compiled in module user, 0.150 sec 1,044 bytes
  27. %  compiling file /unc/alexande/research/clin/command_2.06.2
  28. %  command_2.06.2 compiled in module user, 1.683 sec 20,020 bytes
  29. %  compiling file /unc/alexande/research/clin/csplit_2.05.4
  30. %  csplit_2.05.4 compiled in module user, 0.400 sec 3,192 bytes
  31. %  compiling file /unc/alexande/research/clin/exprules_18.4
  32. %  exprules_18.4 compiled in module user, 0.167 sec 1,748 bytes
  33. %  compiling file /unc/alexande/research/clin/fms_2.06.0
  34. %  fms_2.06.0 compiled in module user, 0.584 sec 3,440 bytes
  35. %  compiling file /unc/alexande/research/clin/group_2.06.2
  36. %  group_2.06.2 compiled in module user, 1.183 sec 8,456 bytes
  37. %  compiling file /unc/alexande/research/clin/hyper_2.06.2
  38. %  hyper_2.06.2 compiled in module user, 7.100 sec 43,368 bytes
  39. %  compiling file /unc/alexande/research/clin/instdel_2.06.2
  40. %  instdel_2.06.2 compiled in module user, 0.566 sec 3,408 bytes
  41. %  compiling file /unc/alexande/research/clin/interp_2.06.0
  42. %  interp_2.06.0 compiled in module user, 2.083 sec 15,720 bytes
  43. %  compiling file /unc/alexande/research/clin/library_2.06.2
  44. %  library_2.06.2 compiled in module user, 2.850 sec 15,756 bytes
  45. %  compiling file /unc/alexande/research/clin/main_2.06.2
  46. %  main_2.06.2 compiled in module user, 1.050 sec 10,752 bytes
  47. %  compiling file /unc/alexande/research/clin/pc_2.05.3
  48. %  pc_2.05.3 compiled in module user, 1.833 sec 11,388 bytes
  49. %  compiling file /unc/alexande/research/clin/replace_2.06.0
  50. %  replace_2.06.0 compiled in module user, 2.700 sec 16,040 bytes
  51. %  compiling file /unc/alexande/research/clin/rewrite_2.06.2
  52. %  rewrite_2.06.2 compiled in module user, 10.750 sec 65,220 bytes
  53. %  compiling file /unc/alexande/research/clin/simplify_2.06.2
  54. %  simplify_2.06.2 compiled in module user, 1.850 sec 10,928 bytes
  55. %  compiling file /unc/alexande/research/clin/spc_2.06.2
  56. %  spc_2.06.2 compiled in module user, 1.500 sec 10,696 bytes
  57. %  compiling file /unc/alexande/research/clin/transform_2.06.2
  58. %  transform_2.06.2 compiled in module user, 0.800 sec 4,980 bytes
  59. %  compiling file /unc/alexande/research/clin/try_2.06.2
  60. %  try_2.06.2 compiled in module user, 1.684 sec 13,276 bytes
  61. %  compiling file /unc/alexande/research/clin/xvisor_2.05.8
  62. %  xvisor_2.05.8 compiled in module user, 0.534 sec 4,948 bytes
  63. % prover_2.06.2 compiled in module user, 43.284 sec 294,188 bytes
  64.  
  65. yes
  66. % Saving QOF file /theta/theta4/unc/alexande/quintusbug/work/compile.out.1
  67. % /theta/theta4/unc/alexande/quintusbug/work/compile.out.1 saved in 1.034 sec
  68.  
  69. yes
  70. /usr/local/shared/mips_ultrix/bin/quintus/bin3.1/dec-4.2/qprel.qof:
  71. /theta/theta4/unc/alexande/quintusbug/work/compile.out.1:
  72. /usr/local/shared/mips_ultrix/bin/quintus/generic/qplib3.1/embed/english/QU_messages.qof:
  73. qld: File being converted: /usr/local/shared/mips_ultrix/bin/quintus/generic/qplib3.1/embed/english/QU_messages.qof
  74.